Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic
نویسندگان
چکیده
منابع مشابه
Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic
This paper studies coalgebras from the perspective of the finitary observations that can be made of their behaviours. Based on the terminal sequence, notions of finitary behaviours and finitary predicates are introduced. A category Behω(T ) of coalgebras with morphisms preserving finitary behaviours is defined. We then investigate definability and compactness for finitary coalgebraic modal logi...
متن کاملDe nability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic
This paper studies coalgebras from the perspective of the nitary observations that can be made of their behaviours. Based on the terminal sequence, notions of nitary behaviours and nitary predicates are introduced. A category Behω(T ) of coalgebras with morphisms preserving nitary behaviours is de ned. We then investigate de nability and compactness for nitary coalgebraic modal logic, show that...
متن کاملCoalgebraic Modal Logic in CoCasl
We extend the algebraic-coalgebraic specification language CoCasl by full coalgebraic modal logic based on predicate liftings for functors. This logic is more general than the modal logic previously used in CoCasl and supports the specification of a variety of modal logics, such as graded modal logic, majority logic, and probabilistic modal logic. CoCasl thus becomes a modern modal language tha...
متن کاملCoalgebraic Modal Logic Beyond Sets
Polyadic coalgebraic modal logic is studied in the setting of locally presentable categories. It is shown that under certain assumptions, accessible functors admit expressive logics for their coalgebras. Examples include typical functors used to describe systems with name binding, interpreted in nominal sets.
متن کاملA coalgebraic view on positive modal logic
Positive Modal Logic is the restriction of the modal local consequence relation defined by the class of all Kripke models to the propositional negation-free modal language. The class of positive modal algebras is the one canonically associated with PML according to the theory of the algebrization of logics [12]. A Priestley-style duality is established between the category of positive modal alg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80363-3